"; } include_spip('inc/lang'); if ($status!=302) http_status($status); echo '',"\n", html_lang_attributes(),'